منابع مشابه
Axiomatizing Qualitative Process Theory
We show that the type of reasoning performed by Forbus' 1985] Qualitative Process (QP) program can be justiied in a rst-order theory that models time and other measure spaces as real-valued quantities. We consider the QP analysis of a can of water with a safety valve being heated over a ame. We exhibit a rst-order theory for the microworld involved in this example, and we prove the correctness ...
متن کاملQualitative Process Theory
Objects move, collide, flow, bend, heat up, cool down, stretch, compress . and boil . These and other things that cause changes in objects over time are intuitively characterized as processes . To understand commonsense physical reasoning and make programs that interact with the physical world as well as people do we must understand qualitative reasoning about processes, when they will occur, t...
متن کاملQualitative Process Theory: Twelve Years After
The scientific goal of artificial intelligence is to understand minds by trying to build them. To make progress towards this goal requires careful decomposition . An especially productive strategy has been to focus on the knowledge and reasoning required for a particular class of domains or tasks. Some domains or tasks have special features which make them tractable, while still providing gener...
متن کاملModeling Motion With Qualitative Process Theory
Rcprcsenting motion is an important part of Naive Physics. Previous qualitative models of mr\tlon wwc ccntcrcd around the idea of Qualitative States. ‘I his paper discusses Xl alternative rcprcscntation in terms of Q)ualitilti\‘C Process I‘hcor’y. Viewing motion 3~ a process has scvcral advantages, notably the ability to make more dctailcd infcrcnccs about dynamics and the ability to comhinc pr...
متن کاملMeasurement Interpretation in Qualitative Process Theory
Interpreting measurements of physical systems consists in part of constructing an account of "what's happening" in terms of our commonsense physical theories. Since most systems involve change, qualitative dynamics plays a central role in such deductions. This paper presents a theory of measurement interpretation at an instant, based on Qualitative Process Theory. Appropriate notions of measure...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 1984
ISSN: 0004-3702
DOI: 10.1016/0004-3702(84)90038-9